<,+>  GrpSig 

latex

Up	groups 1
Definitions of Statement	GrpSig, <,+>
Definitions	<,+>, GrpSig, t  T, x:A. B(x),
Lemmas	bool wf, le int wf, eq int wf, nat wf